Projection-forcing multisets of weight changes
نویسندگان
چکیده
منابع مشابه
Projection-forcing multisets of weight changes
Let F be a finite field. A multiset S of integers is projectionforcing if for every linear function φ : F → F whose multiset of weight changes is S, φ is a coordinate projection up to permutation of entries. The MacWilliams Extension Theorem from coding theory says that S = {0, 0, . . . , 0} is projection-forcing. We give a (super-polynomial) algorithm to determine whether or not a given S is p...
متن کاملForcing Monotonicity in Parameterized Verification: From Multisets to Words
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of the system regardless of the number of processes inside the system. First, we consider a class of parameterized systems whose behaviours can be captured exactly as Petri nets using counter abstraction. This allows an...
متن کاملFormalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals
This Isabelle/HOL formalization introduces a nested multiset datatype and de nes Dershowitz and Manna's nested multiset order. The order is proved well founded and linear. By removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic to the syntactic ordinals the ordinals can be recursively expressed in Cantor normal form. Addition, subtraction, ...
متن کاملParental weight changes as key predictors of child weight changes
BACKGROUND Parents are the key agents of behavioural changes in their children. This fact is as an important aspect of obesity treatment and prevention. The present study aims to evaluate the influence of parents who have gained or lost weight on their children's weights and to examine parental and child patterns of weight changes from a baseline over a 14-year duration. METHODS We performed ...
متن کاملMultisets and Fuzzy Multisets as a Framework of Information Systems
Multisets are now a common tool and a fundamental framework in information processing. Their generalization to fuzzy multisets has also been studied. In this paper the basics of multisets and fuzzy multisets are reviewed, fundamental properties of fuzzy multisets are proved, and advanced operations are defined. Applications to rough sets, fuzzy data retrieval, and automatic classification are m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Combinatorial Theory, Series A
سال: 2010
ISSN: 0097-3165
DOI: 10.1016/j.jcta.2010.01.005